Μ operator - PDFSEARCH.IO - Document Search Engine

Μ operator
Results: 274

#	Item
81	Toward Making the Complex VRSAP Model Suitable For Controller Development: Application of Linearization and Adaptive Feedback Control of the Complex MIMO System T. H. Nguyen Department of Electrical Engineering, Universi Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-16 20:20:06 Adaptive control Mathematics Science Academia Μ operator Control theory Cybernetics Partial differential equation
82	MFPSSemi-decidability of may, must and probabilistic testing in a higher-type setting Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-12 05:48:53 Denotational semantics Logic in computer science Model theory Structure Μ operator Programming Computable Functions Theoretical computer science Mathematics Mathematical logic
83	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
84	PROVING CORRECTNESS OF COMPILER OPTIMIZATIONS BY TEMPORAL LOGIC David Lacey (Oxford University) Neil D. Jones (University of Copenhagen) Eric Van Wyk (Oxford University) Carl C. Frederiksen (University of Copenhagen) Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2011-12-19 05:05:49 Logic Denotational semantics Logic in computer science Interpretation Compiler Symbol Natural deduction Μ operator Theoretical computer science Mathematical logic Model theory
85	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic
86	An Optimality Principle for Concurrent Systems Langford B White and Sarah L Hickmott School of Electrical and Electronic Engineering The University of Adelaide Australia {lwhite, shick}@eleceng.adelaide.edu.au Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:17 Dynamic programming Markov decision process Stochastic control Interpretation Logic Linear temporal logic Μ operator Statistics Formal languages Model theory
87	Robust Winners and Winner Determination Policies under Candidate Uncertainty Craig Boutilier J´erˆome Lang Department of Computer Science Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-05-02 13:25:40 Applied mathematics Borda count FO Kullback–Leibler divergence Universal quantification Dynamic programming Μ operator Single winner electoral systems Theoretical computer science Mathematics
88	TWISTS OF X(7) AND PRIMITIVE SOLUTIONS TO x2 + y 3 = z 7 BJORN POONEN, EDWARD F. SCHAEFER, AND MICHAEL STOLL Abstract. We find the primitive integer solutions to x2 + y 3 = z 7 . A nonabelian descent argument involving t Add to Reading List Source URL: math.mit.edu Language: English - Date: 2008-07-06 19:05:58 Algebraic curves Group theory Algebraic number theory Elliptic curve J-invariant Algebraic number field Modular curve Μ operator Classical modular curve Abstract algebra Analytic number theory Modular forms
89	Learning Scoring Functions with Order-Preserving Losses and Standardized Supervision David Buffoni [removed] Cl´ Add to Reading List Source URL: www.icml-2011.org Language: English - Date: 2011-06-01 14:49:35 Permutation Μ operator Mathematics Functions and mappings Function
90	Decomposing English and and or Linmin Zhang ([removed]), Department of Linguistics, New York University Background: English and and or are traditionally analyzed as boolean operators u and t (von Stechow 1974, Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:59 Μ operator Constructible universe Function Software engineering Computing Mathematics Fold Recursion

UPDATE